COMMENT ⊗   VALID 00005 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	\chcode'173←1 \chcode'176←2 \chcode'44←3 \chcode'26←4
C00008 00003	\chpar12←1100 %magnify output by factor of 1.1
C00012 00004	\def\textindent#1{\hbox to size{\hskip 4pc\hbox par 28pc{#1}}}
C00018 00005	\def\one#1
C00020 ENDMK
C⊗;
\chcode'173←1 \chcode'176←2 \chcode'44←3 \chcode'26←4
\chcode'45←5 \chcode'43←6 \chcode'136←7 \chcode 1←8

\chcode'272←'3072 % this makes formulas like "$x:=x+1$" and "$f\?:X\to Y$" work

\def\%{\char'45 }	% Note, the space after 45 is needed! (e.g.\%0)

\def\lft#1{#1\hfill}
\def\ctr#1{\hfill#1\hfill}
\def\rt#1{\hfill#1}

\def\rjustline#1{\hbox to size{\hss#1}}
\def\ctrline#1{\hbox to size{\hss#1\hss}}

\def\trace{\chpar0←} \def\jpar{\chpar1←} \def\ragged{\chpar8←}
\def\jjpar{\chpar15←} \def\loose{\chpar14←} \def\uchyph{\chpar16←}

\def\macrotrace{\trace'355}
\def\pagetrace{\trace'347}
\def\fullpagetrace{\trace'77777747}
\def\normaltrace{\trace'345}

\def\log{\mathop{\char l\char o\char g}\limitswitch}
\def\lg{\mathop{\char l\char g}\limitswitch}
\def\ln{\mathop{\char l\char n}\limitswitch}
\def\lim{\mathop{\char l\char i\char m}}
\def\limsup{\mathop{\char l\char i\char m\,\char s\char u\char p}}
\def\liminf{\mathop{\char l\char i\char m\,\char i\char n\char f}}
\def\sin{\mathop{\char s\char i\char n}\limitswitch}
\def\cos{\mathop{\char c\char o\char s}\limitswitch}
\def\tan{\mathop{\char t\char a\char n}\limitswitch}
\def\cot{\mathop{\char c\char o\char t}\limitswitch}
\def\sec{\mathop{\char s\char e\char c}\limitswitch}
\def\csc{\mathop{\char c\char s\char c}\limitswitch}
\def\max{\mathop{\char m\char a\char x}}
\def\min{\mathop{\char m\char i\char n}}
\def\sup{\mathop{\char s\char u\char p}}
\def\inf{\mathop{\char i\char n\char f}}
\def\det{\mathop{\char d\char e\char t}}
\def\exp{\mathop{\char e\char x\char p}\limitswitch}
\def\Pr{\mathop{\char P\char r}}
\def\gcd{\mathop{\char g\char c\char d}}
\def\choose{\comb()}
\def\leftset{\mathopen{\{\,}}
\def\rightset{\mathclose{\,\}}}
\def\modop{\<\,\mathbin{\char m\char o\char d}\<\,}
\def\mod#1{\penalty0\;(\char m\char o\char d\,\,#1)}
\def\eqv{\mathrel\char'421 }
\def\neqv{\mathrel{\not\eqv}}

\def\qquad{\quad\quad}

\def\ldots{{.\≥.\≥.}}
\def\cdots{{\char'401\≥\char'401\≥\char'401}}
\def\ldotss{{.\≥.\≥.\≥}}
\def\cdotss{\cdots\≥}
\def\ldotsm{{\≥.\≥.\≥.\≥}}
\def\vdots{\vbox{\baselineskip 4pt\vskip 6pt\hbox{.}\hbox{.}\hbox{.}}}

\def\eqalign#1{\baselineskip15pt\lineskip3pt\lineskiplimit3pt
  \vcenter{\halign{\hfill$\dispstyle{##}$⊗$\dispstyle{\null##}$\hfill
      \cr#1}}\lineskiplimit0pt}
\def\eqalignno#1{\baselineskip15pt\lineskip3pt\lineskiplimit3pt
  \vbox{\tabskip 0pt plus 1000pt minus 1000pt
   \halign to size{\hfill$\dispstyle{##}$\tabskip 0pt
   ⊗$\dispstyle{\null##}$\hfill\tabskip 0 pt plus 1000pt minus 1000pt
   ⊗\hfill$ ##$\tabskip 0pt\cr#1}}\lineskiplimit0pt}
\def\cpile#1{\vcenter{\halign{\hfill$## $\hfill\cr#1}}}
\def\lpile#1{\vcenter{\halign{$## $\hfill\cr#1}}}
\def\rpile#1{\vcenter{\halign{\hfill$## $\cr#1}}}
\def\null{\hbox{}}
\def\twoline#1#2#3{\vbox{\hbox to size{$\quad\dispstyle{#1}$\hfill}
    \vskip#2\hbox to size{\hfill$\dispstyle{#3}\quad$}}}

\def\chop to#1pt#2{\save0\hbox{$\dispstyle{#2}$}\hbox{\lower#1pt\null
    \vbox to 1ht0{\box0\vss}}} % pretends that #2 is #1pt deep

\def\spose#1{\hbox to 0pt{#1\hss}}

\def\topspace{{\hrule height0pt}\vskip}
	% e.g. "\topspace 1in" puts an inch of space at the top of a page

\def\item#1{\par\noindent\hangindent 20pt\hbox to 20pt{\hss#1 }\!}
\def\itemitem#1{\par\noindent\hangindent 40pt\hbox to 40pt{\hss#1 }\!}
\chpar12←1100 %magnify output by factor of 1.1
\font @=cmathx
\font a=timesroman at 10truebp
\font b=timesroman at 9truebp
\font c=timesroman at 8truebp
\font d=timesroman at 7truebp
\font e=timesroman at 12truebp
\font f=timesroman at 14truebp
\font g=timesromani at 10 truebp
\font h=timesromani at 9truebp
\font i=timesromani at 8truebp
\font j=timesromani at 7truebp
\font k=helveticab at 10truebp
\font l=helvetivab at 9truebp
\font m=helveticab at 8truebp
\font n=helveticab at 7truebp
\font q=timesromanb at 10 truebp
\font r=timesromanb at 9 truebp
\font s=timesromanb at 8 truebp
\font t=helveticab at 12 truebp
\font u=cmsy10 \font v=cmsy9 \font w=cmsy8 \font x=cmsy7 \font y=cmsy6 
\font z=cmsy5  \font ?=cmti10

\parindent 40pt  \maxdepth 2pt  \topbaseline 10pt
\parskip 0pt plus 1 pt
\topskip 24pt plus6pt minus10pt \botskip3pt plus6pt

\def\tenpoint{\baselineskip 12pt \lineskip 1pt
  \dispskip 4pt plus 3pt minus 3pt
  \dispaskip 0pt plus 3pt  \dispbskip 7pt plus 3pt minus 4pt
  \let \curfont=\:
  \def\rm{\curfont a} \def\ss{\curfont k} \def\bf{\curfont q} \def\it{\curfont g}
  \def\biglp{\mathopen{\vcenter{\hbox{\curfont @\char'0}}}}
  \def\bigrp{\mathclose{\vcenter{\hbox{\curfont @\char'1}}}}
  \mathrm klm \mathit gjl \mathsy uxz \rm}
\def\ninepoint{\baselineskip 11pt \lineskip 0pt
  \dispskip 3pt plus 2pt minus 2pt
  \dispaskip 0pt plus 3pt  \dispbskip 6pt plus 3pt minus 3pt
  \let \curfont=\:
  \def\rm{\curfont b} \def\ss{\curfont l} \def\bf{\curfont r} \def\it{\curfont h}
  \mathrm klm \mathit hjl \mathsy uxz \rm}
\def\eightpoint{\baselineskip 9pt \lineskip .8pt
  \dispskip 2pt plus 2pt minus 2pt
  \dispaskip 0pt plus 3pt  \dispbskip 5pt plus 3pt minus 2pt
  \let \curfont=\:
  \def\rm{\curfont c} \def\ss{\curfont m} \def\bf{\curfont s} \def\it{\curfont i}
  \def\biglp{\mathopen{\vcenter{\hbox{\curfont @(}}}}
  \def\bigrp{\mathclose{\vcenter{\hbox{\curfont @)}}}}
  \mathrm klm \mathit ijl \mathsy uxz \rm}
\mathex @
\def\bigglp{\mathopen{\vcenter{\hbox{\curfont @\char'22}}}}
\def\biggrp{\mathclose{\vcenter{\hbox{\curfont @\char'23}}}}
\def\biggglp{\mathopen{\vcenter{\hbox{\curfont @\char'40}}}}
\def\bigggrp{\mathclose{\vcenter{\hbox{\curfont @\char'41}}}}

\def\textindent#1{\hbox to size{\hskip 4pc\hbox par 28pc{#1}}}
\def\ft#1{\save0\hbox{#1}\penalty 1000{\eightpoint
     \hbox{\hskip .5pt\raise 4pt\hbox{#1}\hskip .5pt}}}
\def\quote#1{\par\vskip 5pt\textindent{\ninepoint #1}\par\vskip 2pt\noindent}
\def\itquote#1{\par\vskip 5pt\textindent{\ninepoint\it #1}\par\vskip 2pt\noindent}
\def\quotepar#1{\par\vskip 5pt\textindent{\ninepoint #1}\par\vskip 2pt}
\def\ftn#1{\botinsert{\vbox{\hrule width20pc \vskip 5pt
     \baselineskip9pt\hbox par size{\hangindent 20pt\box0\ \ \eightpoint #1}}}}
\def\pp{\par\ \par}

\output{\baselineskip 0pt\lineskip 0pt
   \vbox to 0pt{\vskip -0.54truein
     \hbox to 6.94truein {\hfill \:c \count0}
     \vskip 0.33truein plus 6in minus 6in}
   \hbox{\hskip 0.22truein\vbox{\page}}
   \advcount0}
\setcount0 1

\hsize 6.05truein
\vsize 8.91truein

\def\magnify#1{\error}

\tenpoint
\def\one#1
   {\hbox to 4.5in{\ss #1\hfill}}
\def\obj#1{\save1\one #1}
\def \three#1#2#3
   {\save0\hbox to 4.5in{\vbox{\one#1\one#2\one#3}}}
\def\four#1#2#3#4
   {\save0\hbox to 4.5in{\vbox{\one#1\one#2\one#3\one#4}}}
\def\five#1#2#3#4#5
   {\save0\hbox to 4.5in{\vbox{\one#1\one#2\one#3\one#4\one#5}}}
\def\six#1#2#3#4#5#6
   {\save0\hbox to 4.5in{\vbox{\one#1\one#2\one#3\one#4\one#5\one#6}}}
\def\eight#1#2#3#4#5#6#7#8
   {\save0\hbox to 4.5in{\vbox{\one#1\one#2\one#3\one#4\one#5\one#6\one#7
     \one#8}}}

\def\leva {{$${\ss LEVEL I\ \ \ \ }\left( \vcenter{\box1}\right.$$}}
\def\levb {{$${\ss LEVEL II\ \ \ }\left( \vcenter{\ninepoint\box2}\right.$$}}
\def\levc {{$${\ss LEVEL III\ \ }\left( \vcenter{\eightpoint\box3}\right.$$}}
\def\levd {{$${\ss LEVEL IV\ \ \ }\left( \vcenter{\eightpoint\box4}\right.$$}}